These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD (...) 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream. (shrink)

We propose an adynamical, background independent approach to quantum gravity and unification whereby the fundamental elements of Nature are graphical units of space, time and sources. The transition amplitude for these elements of “spacetimesource” is computed using a path integral with discrete Gaussian graphical action. The unit of action for a spacetimesource element is constructed from a difference matrix K and source vector J on the graph, as in lattice gauge theory. K is constructed from graphical relations so that it (...) contains a non-trivial null space, and J is then restricted to the column space of K which ensures it is distributed in a divergence-free fashion over the spacetime defined by the element. This rule for the relational construct of K and J is our proposed fundamental axiom of physics and results in a self-consistency relationship between sources, the spacetime metric, and the stress-energy-momentum content of the element, rather than a dynamical law for time-evolved entities. In its most general form, the set of fundamental elements employed by lattice gauge theory contains scalar fields on nodes and links, and vector fields on nodes. To complete the fundamental set, we propose the addition of scalar fields on plaquettes and vector fields on links. We use this approach via modified Regge calculus to correct proper distance in the Einstein-deSitter cosmology model yielding a fit of the Union2 Compilation supernova data that matches ɅCDM without having to invoke accelerating expansion or dark energy. (shrink)

In this anthology, prominent contemporary theorists assess the benefits and dangers of postmodernism for feminist theory. The contributors examine the meaning of postmodernism both as a methodological position and a diagnosis of the times. They consider such issues as the nature of personal and social identity today, the political implications of recent aesthetic trends, and the consequences of changing work and family relations on women's lives. Contributors: Seyla Benhabib, Susan Bordo, Judith Butler, Christine Di Stefano, Jane Flax, Nancy Fraser, Donna (...) Haraway, Sandra Harding, Nancy Hartsock, Andreas Huyssen, Linda J. Nicholson, Elspeth Probyn, Anna Yeatman, Iris Young. (shrink)

Of all the developments in twentieth century physics, none has given rise to more heated debates than the changes in our understanding of science precipitated by the quantum revolution''. In this revolution, Niels Bohr's dramatically non-classical theory of the atom proved to be the springboard from which the new atomic physics drew it's momentum. Furthermore, Bohr's contribution was crucial not only because his interpretation of quantum mechanics became the most widely accepted view but also because in his role as educator (...) and spokesman for atomic physics Bohr was very much the patron spirit of the entire quantum revolution. The conceptual framework which he proposed to provide a new viewpoint for understanding the quantum theoretical description of atomic systems became for most of this century the dominant outlook of countless productive experimental and theoretical physicists. He called this new framework complementarity''. (shrink)

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

In Working Virtue: Virtue Ethics and Contemporary Moral Problems, leading figures in the fields of virtue ethics and ethics come together to present the first ...

v. 1. Nicomachean ethics. Politics. The Athenian Constitution. Rhetoric. On Poetics.--v. 2. Logic.--v. 3. Physics. Metaphysics. On the soul. Short physical treaties.--v. 4. On the heavens. On generation and corruption. Meteorology. Biological treatises.

The concept of instantiation is realized differently across a variety of metaphysical theories. A certain realization of the concept in a given theory depends on what roles are specified and associated with the concept and its corresponding term as well as what entities are suited to fill those roles. In this paper, the classic realization of the concept of instantiation in a one-category ontology of abstract particulars or tropes is articulated in a novel way and defended against unaddressed objections.

Fifteen essays addressing conceptions of individualism and holism as they emerged in Chinese literature and philosophy from the time of Confucius and Chuang-tzu to the present.

Human languages vary in many ways but also show striking cross-linguistic universals. Why do these universals exist? Recent theoretical results demonstrate that Bayesian learners transmitting language to each other through iterated learning will converge on a distribution of languages that depends only on their prior biases about language and the quantity of data transmitted at each point; the structure of the world being communicated about plays no role (Griffiths & Kalish, , ). We revisit these findings and show that when (...) certain assumptions about the relationship between language and the world are abandoned, learners will converge to languages that depend on the structure of the world as well as their prior biases. These theoretical results are supported with a series of experiments showing that when human learners acquire language through iterated learning, the ultimate structure of those languages is shaped by the structure of the meanings to be communicated. (shrink)

In management research, theory testing confronts a paradox described by Meehl in which designing studies with greater methodological rigor puts theories at less risk of falsification. This paradox exists because most management theories make predictions that are merely directional, such as stating that two variables will be positively or negatively related. As methodological rigor increases, the probability that an estimated effect will differ from zero likewise increases, and the likelihood of finding support for a directional prediction boils down to a (...) coin toss. This paradox can be resolved by developing theories with greater precision, such that their propositions predict something more meaningful than deviations from zero. This article evaluates the precision of theories in management research, offers guidelines for making theories more precise, and discusses ways to overcome barriers to the pursuit of theoretical precision. (shrink)

Rooted in the field of cathedral studies, this paper draws into dialogue three bodies of knowledge: Edward Bailey’s notion of implicit religion that, among other things, highlights the continuing traction of the Christian tradition and Christian practice within secular societies; David Walker’s notion of the multiple ways through which in secular societies people may relate to the Christian tradition as embodied within the Anglican Church and John Fisher’s notion of spiritual wellbeing as conceptualised in relational terms. Against this conceptual background, (...) this paper draws on data provided by 1234 participants attending one of the Christmas Eve carol services in Liverpool Cathedral to explore the perceived impact of attendance on the spiritual health of people who do not believe in God and yet feel that Liverpool Cathedral is their cathedral, and it is this sense of belonging that brings them back at Christmas time.Contribution: Situated within the science of cathedral studies, this paper links in an original way three fields of discourse: Edward Bailey’s notion of implicit religion, David Walker’s notion of the four ways of belonging to God facilitated by the Anglican Church and John Fisher’s conceptualisation and operationalisation of the notion of spiritual wellbeing. The hypothesis developed from this original integration of theoretical perspectives is then tested empirically on data provided by 404 participants at carol services who do not believe in God. (shrink)

Semantic Scholar extracted view of "Animal Welfare and Rights: V. Zoos and Zoological Parks" by J. Dunlap et al.

This article has two objectives. First, and in particular, it seeks to reinterpret the ostracism procedure of early democratic Athens. Since Aristotle, this has been understood as a rational, political weapon of collective defense, intended to expel from Athens a disproportionately powerful individual. In this article, by putting emphasis on themateriality, gestures, and location of ostraka-casting, I propose instead that the institution can more fruitfully be understood as a ritual enactment of civic unity. Second, and more generally, I hope to (...) explore the frames within which early Athenian democracy is placed: while Greek kingship and tyranny (i.e. “primitive” polities) have been very successfully explored through anthropological and cross-cultural comparison, Greek democracy for the most part has remained in the domains of the institutional historian and political theorist. Taking a phenomenological and comparative approach, this article asks how the citizens of early democratic Athens experienced and comprehended their new sovereignty and the invented procedures of mass decision-making through which it was expressed. (shrink)

I INTRODUCTION: RESPECT, EQUALITY AND THE AUTONOMY OF MORALITY We often invoke a notion of respect to express our sense of human equality. ...

The mechanistic theory of life.--Criticism of the mechanistic theory.--Biology and the physical sciences.--Personality.

This book is unified by three broad concerns: the rationality of belief in God, the relation between religion and morality, and the explication of the concept of God. The essays are, however, marked by diversity. Some focus on historical figures, such as Aquinas and Locke; others bring recent epistemological and metaphysical developments to bear on problems of religious belief. Some of the papers explore neglected issues central to religious practice, such as the question of how total devotion to God can (...) permit other deep commitments; others apply philosophical distinctions from within a religious tradition, for example, in setting out a Christian approach to the problem of evil. (shrink)

Two conceptual strands of research within the field of cathedral studies have theorised the capacity of Anglican cathedrals to engage more successfully than parish churches with the wider non-churchgoing community. One strand has explored mobilising cathedral metaphors, and the other strand has explored the notion of implicit religion. Both strands illuminate the power of events and installations to soften the boundaries between common ground and sacred space. Drawing on a quantitative survey among 978 people who attended the pre-Christmas son et (...) lumiere at Liverpool Cathedral during December 2022, the present study analyses the qualitative responses of 123 participants who never attend church services. Three categories of themes emerged from these data, concerning the Cathedral itself, the installation, and discordant experience.Contribution: Situated within the science of cathedral studies, this article draws on original qualitative data to illuminate the experiences of participants who never attend church services when engaging with the pre-Christmas son et lumiere at a major cathedral. Conceptualised within the framework of implicit religion, these data confirmed how the son et lumiere succeeded in softening boundaries between the sacred and the secular and provided a deeply moving experience. As one participant said, ‘I am not religious, but I had the best experience ever’. (shrink)

The continuing power of racist ideology threatens liberal democracy, for racism is more than a personal bias or a social construction. It is an ideological framework that reduces human beings to an existence along a color-coded spectrum, with people designated as “white” at the top of the hierarchy and people designated as “black” at the bottom. One has to see this ideology clearly in order to choose a proper response and then act accordingly. First, the reality of “race” has been (...) exposed as unscientific and illusory, and as based not on biology or genetics, but on a legacy of empowerment for some and enslavement for others. Second, this racist ideology, part of our disenchanted, secular age, is exposed as a continuing form of enchantment in its manner of seeing the world, opening the possibility for a spiritual response. Third, dismantling this racist ideology requires a reimagining of “blackness” as a source of life and spirituality, as a way of countering and rewriting the dominant racist narrative. Fourth, a postsecular spiritualty, based on the work of Pope Francis—that emphasizes the importance of protecting our common human dignity, of caring for each other, and of “walking together”—can be engaged as a path for action in the battle against racism. (shrink)

The problem of stability in population dynamics concerns many domains of application in demography, biology, mechanics and mathematics. The problem is highly generic and independent of the population considered (human, animals, molecules,…). We give in this paper some examples of population dynamics concerning nucleic acids interacting through direct nucleic binding with small or cyclic RNAs acting on mRNAs or tRNAs as translation factors or through protein complexes expressed by genes and linked to DNA as transcription factors. The networks made of (...) these interactions between nucleic acids (considered respectively as edges and nodes of their interaction graph) are complex, but exhibit simple emergent asymptotic behaviours, when time tends to infinity, called attractors. We show that the quantity called attractor entropy plays a crucial role in the study of the stability and robustness of such genetic networks. (shrink)

Prize offered for most innovative web publication A t present, the Journal of Medical Ethics appears in duplicate: one version on the web, one version in paper. There has been little difference between these two copies. But the web and paper publishing offer different opportunities for the reader. A bound conventional paper copy of a journal offers a compact, transportable, easily readable, discrete collection of knowledge. It ….